/*
“关联项”（associated item）指与多种类型的项有关的一组规则。它是 trait 泛型的扩展，允许在 trait 内部定义新的项。

一个这样的项就叫做一个关联类型。当 trait 对于实现了它的容器类型是泛型的，关联 项就提供了简单的使用方法。
 */

#[cfg(test)]
mod tests {
    struct Container(i32, i32);

    // 这个 trait 检查给定的 2 个项是否储存于容器中
    // 并且能够获得容器的第一个或最后一个值。
    trait Contains<A, B> {
        fn contains(&self, _: &A, _: &B) -> bool; // 显式地要求 `A` 和 `B`
        fn first(&self) -> i32; // 未显式地要求 `A` 或 `B`
        fn last(&self) -> i32; // 未显式地要求 `A` 或 `B`
    }

    impl Contains<i32, i32> for Container {
        // 如果存储的数字和给定的相等则为真。
        fn contains(&self, number_1: &i32, number_2: &i32) -> bool {
            (&self.0 == number_1) && (&self.1 == number_2)
        }

        // 得到第一个数字。
        fn first(&self) -> i32 {
            self.0
        }

        // 得到最后一个数字。
        fn last(&self) -> i32 {
            self.1
        }
    }

    // 容器 `C` 就包含了 `A` 和 `B` 类型。鉴于此，必须指出 `A` 和 `B` 显得很麻烦。
    fn difference<A, B, C>(container: &C) -> i32
    where
        C: Contains<A, B>,
    {
        container.last() - container.first()
    }

    #[test]
    fn the_problem() {
        let number_1 = 3;
        let number_2 = 10;

        let container = Container(number_1, number_2);

        println!(
            "Does container contain {} and {}: {}",
            &number_1,
            &number_2,
            container.contains(&number_1, &number_2)
        );
        println!("First number: {}", container.first());
        println!("Last number: {}", container.last());

        println!("The difference is: {}", difference(&container));
    }
}
